Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
541	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
542	Trusting Semi-structured Web Data Davide Ceolin supervised by Guus Schreiber, Wan Fokkink and Willem Robert van Hage VU University, Amsterdam, The Netherlands Abstract. The growth of the Web brings an uncountable amount Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Data Reputation management Sociology Semantic Web Semantic similarity Probabilistic logic Trust Computational trust Statistics Information Science Non-classical logic
543	Cellular Automata as Algebraic Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Combinatory logic Lambda calculus Logic in computer science Group action Groupoid Abstract algebra Mathematics Algebra
544	Contextuality, Cohomology and Paradox Samson Abramsky Joint work with Rui Soares Barbosa, Kohei Kishida, Ray Lal and Shane Mansfield Department of Computer Science, University of Oxford Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-02-08 21:50:20 Mathematics Samson Abramsky Philosophical logic Abramsky Cohomology Logic Paradox Sheaf Abstract algebra Algebraic topology Topology
545	A Semantic Model for Graphical User Interfaces Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-12 04:10:50 Logic in computer science Deduction Denotational semantics Sheaf Entailment Combinatory logic Function Functional-theoretic algebra Natural deduction Logic Mathematics Abstract algebra
546	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory
547	An Integrated Modal Approach to Rational Agents W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:34 Artificial intelligence Science Philosophical logic Multi-agent systems Game theory Action theory Kripke semantics Dynamic logic Intelligent agent Logic Mathematical logic Modal logic
548	ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-22 02:40:08 Boolean algebra Propositional calculus Functional analysis Algebraic logic Truth table Logic gate Convolution Image Function Mathematics Abstract algebra Mathematical logic
549	To appear in Proc. ISCTA ’99 The Discrete Noiseless Channel Revisited.∗ Aamod Khandekar, Robert McEliece, and Eugene Rodemich California Institute of Technology Pasadena, California, USA Abstract: In this paper, we w Add to Reading List Source URL: www.systems.caltech.edu Language: English - Date: 2005-01-09 12:18:18 Matrix theory Statistical theory Symbol Perron–Frobenius theorem Combinatory logic Entropy Mathematics Theoretical computer science Statistics
550	Differential algebraic equations from definability Thomas Scanlon 24 OctoberThomas Scanlon Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-09 02:34:20 Mathematical analysis Differential algebra Complex analysis Imaginary element Field theory Differentially closed field Functions and mappings Logarithmic derivative Structure Mathematics Abstract algebra Model theory

UPDATE